Natural induction - PDFSEARCH.IO - Document Search Engine

Natural induction
Results: 130

#	Item
111	Structural induction: towards automatic ontology elicitation by Adrian Silvescu Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2008-03-27 12:10:00 Machine learning Bayesian statistics Computational linguistics Natural language processing Model selection Naive Bayes classifier Cross-validation N-gram Inference Statistics Science Artificial intelligence
112	Microsoft Word - pedersen-salr-2007.doc Add to Reading List Source URL: www.d.umn.edu Language: English - Date: 2007-09-13 20:33:48 Science Lexical semantics Natural language processing Word-sense disambiguation Word-sense induction Reference Linguistics Semantics Computational linguistics
113	Elimination with a Motive Conor McBride Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-11-07 05:35:59 Logic in computer science Theory of computation Deduction Natural deduction Proof theory Structural induction Function Fold Motive Mathematics Mathematical logic Logic
114	40 Joseph UUiRn Add to Reading List Source URL: fitelson.org Language: English - Date: 2008-05-21 14:12:02 Philosophy of science Ontology Philosophical logic Semantics Cognition Natural kind Similarity Definition Problem of induction Science Knowledge Philosophy
115	Experiments in Parallel-Text Based Grammar Induction Jonas Kuhn Department of Linguistics Add to Reading List Source URL: uts.cc.utexas.edu Language: English - Date: 2004-06-03 08:43:39 Corpus linguistics Statistical natural language processing Machine translation Statistical machine translation Treebank Part-of-speech tagging Stochastic context-free grammar Parsing Bitext word alignment Natural language processing Linguistics Computational linguistics
116	Word Sense Disambiguation: A Survey ROBERTO NAVIGLI Universita` di Roma La Sapienza Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2009-02-19 17:51:02 Semantics Lexical semantics Natural language processing Word-sense disambiguation WordNet SemEval Semantic network Word-sense induction Word sense Linguistics Computational linguistics Science
117	SemEval-2010 Task 14: Word Sense Induction & Disambiguation Suresh Manandhar Department of Computer Science Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2010-05-18 09:42:42 Semantics Science Computing Lexical semantics Word-sense disambiguation Word-sense induction SemEval Duluth Minnesota Computer cluster Linguistics Computational linguistics Natural language processing
118	Notes by David Groisser, Copyright c 1993, revised version[removed]Peano Axioms for the Natural Numbers Add to Reading List Source URL: www.math.ufl.edu Language: English - Date: 2001-09-06 10:32:21 Elementary mathematics Mathematical proofs Proof theory Formal systems Peano axioms Mathematical induction Number system Axiom Natural number Mathematics Mathematical logic Logic
119	CHAPTER FOUR: THE NATURAL NUMBERS, INDUCTION, AND RECURSIVE DEFINITION Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2008-10-19 19:16:41 Ordinal numbers Proof theory Order theory Well-order Constructible universe Mathematical induction Surreal number Sylow theorems Mathematics Mathematical logic Logic
120	Tobias Nipkow Markus Wenzel Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2013-02-12 08:40:54 Mathematical proof Recursion Mathematical induction Algorithm Theorem Structural induction Natural deduction Automated theorem proving Recursive definition Mathematics Logic Mathematical logic

UPDATE